Modal Logic — definition

1. modal logic (Noun)

2 definitions

modal logic (Noun) — The logical study of necessity and possibility.

modal logic (Noun) — A system of logic whose formal properties resemble certain moral and epistemological concepts.

4 types of
formal logic logic mathematical logic symbolic logic
4 types
alethic logic deontic logic doxastic logic epistemic logic